-
1 аксиома полноты
-
2 аксиома полноты
Русско-английский словарь по машиностроению > аксиома полноты
-
3 аксиома полноты
-
4 аксиома полноты
-
5 аксиома полноты
Русско-английский научно-технический словарь Масловского > аксиома полноты
-
6 аксиома
* * *аксио́ма ж.
axiom, postulate, principleаксио́ма не тре́бует доказа́тельства — an axiom needs no proofпринима́ть аксио́му без доказа́тельства — accept an axiom as primitive and therefore not subject to proofпринима́ть в ка́честве аксио́мы — take smth. as an axiom, take as an axiom that …аксио́ма Архиме́да — axiom of Archimedes, Archimedean axiom, Archimedean assumptionаксио́ма вы́бора — axiom of choiceаксио́ма математи́ческой инду́кции — axiom of complete [perfect] inductionаксио́ма мо́щности — axiom of powerаксио́ма о паралле́льных — parallel axiomаксио́ма отдели́мости — axiom of separabilityаксио́ма полноты́ — completeness axiom, axiom of completenessаксио́ма сохране́ния — retention axiomаксио́ма счё́тности — denumberability axiomаксио́ма треуго́льника — triangle axiom -
7 аксиома полноты
-
8 полнота
-
9 полнота
-
10 аксиома полноты
Русско-английский новый политехнический словарь > аксиома полноты
-
11 аксиома
ж. axiom, postulate, principle -
12 аксиома полноты
1) Engineering: axiom of completeness2) Mathematics: completeness axiom, completeness property -
13 полнота
ж. completenessСинонимический ряд:1. всесторонность (сущ.) всесторонность2. неограниченность (сущ.) безраздельность; неограниченность3. полнотелость (сущ.) гладкость; дородность; полнотелость; пухлость; пышность; сдобность; упитанностьАнтонимический ряд:пустота; худоба -
14 простая полнота
-
15 функциональная полнота
Русско-английский большой базовый словарь > функциональная полнота
-
16 полнота
f. completeness; аксиома полноты, completeness axiom -
17 полнота
f. completeness;
аксиома полноты - completeness axiom -
18 полнота
-
19 аксиома полноты
См. также в других словарях:
Completeness axiom — In mathematics the completeness axiom, also called Dedekind completeness of the real numbers, is a fundamental property of the set R of real numbers. It is the property that distinguishes R from other ordered fields, especially from the set of… … Wikipedia
completeness axiom — noun The following axiom (applied to an ordered field): for any subset of the given ordered field, if there is any upper bound for this subset, then there is also a supremum for this subset, and this supremum is an element of the given ordered… … Wiktionary
Completeness of the real numbers — Intuitively, completeness implies that there are not any “gaps” (in Dedekind s terminology) or “missing points” in the real number line. This contrasts with the rational numbers, whose corresponding number line has a “gap” at each irrational… … Wikipedia
Axiom of Archimedes — The axiom of Archimedes can be stated in modern notation as follows: Let x be any real number. Then there exists a natural number n such that n > x. In field theory this statement is called the Axiom of Archimedes. The same name is also applied… … Wikipedia
Axiom — This article is about logical propositions. For other uses, see Axiom (disambiguation). In traditional logic, an axiom or postulate is a proposition that is not proven or demonstrated but considered either to be self evident or to define and… … Wikipedia
Completeness — In general, an object is complete if nothing needs to be added to it. This notion is made more specific in various fields. Contents 1 Logical completeness 2 Mathematical completeness 3 Computing 4 … Wikipedia
Axiom of choice — This article is about the mathematical concept. For the band named after it, see Axiom of Choice (band). In mathematics, the axiom of choice, or AC, is an axiom of set theory stating that for every family of nonempty sets there exists a family of … Wikipedia
Completeness (order theory) — In the mathematical area of order theory, completeness properties assert the existence of certain infima or suprema of a given partially ordered set (poset). A special use of the term refers to complete partial orders or complete lattices.… … Wikipedia
Completeness — Vollständigkeit ist eine Eigenschaft formaler Systeme bzw. Kalküle. Man unterscheidet semantische Vollständigkeit („Alles, was wahr ist, ist beweisbar.“), klassische Vollständigkeit („Eine der zwei Aussagen und ist stets beweisbar.“) und… … Deutsch Wikipedia
completeness — Intuitively, a logical system is complete if everything that we want can be derived in it. Thus a formalization of logic is complete if all logically valid forms of argument are derivable in the system; a system designed to codify mathematical… … Philosophy dictionary
Gödel's completeness theorem — is a fundamental theorem in mathematical logic that establishes a correspondence between semantic truth and syntactic provability in first order logic. It was first proved by Kurt Gödel in 1929. A first order formula is called logically valid if… … Wikipedia